J. W. Klop (auth.): Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (6)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.)

సంవత్సరం:

1996

భాష:

english

ఫైల్:

DJVU, 2.40 MB

0 / 0

english, 1996

2

CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings

CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Eike Best (auth.), J. C. M. Baeten, J. W. Klop (eds.)

సంవత్సరం:

1990

భాష:

english

ఫైల్:

DJVU, 4.54 MB

0 / 0

english, 1990

3

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

J. W. Klop (auth.), Tobias Nipkow (eds.)

సంవత్సరం:

1998

భాష:

english

ఫైల్:

DJVU, 2.95 MB

0 / 0

english, 1998

4

Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Springer-Verlag London

J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef PhD, S. F. M. van Vlijmen Drs. (eds.)

సంవత్సరం:

1995

భాష:

english

ఫైల్:

PDF, 27.19 MB

0 / 0

english, 1995

5

Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

J. R. Kennaway, J. W. Klop, M. R. Sleep (auth.), Ronald V. Book (eds.)

సంవత్సరం:

1991

భాష:

english

ఫైల్:

DJVU, 5.31 MB

0 / 0

english, 1991

6

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Springer-Verlag Berlin Heidelberg

J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)

సంవత్సరం:

1986

భాష:

english

ఫైల్:

DJVU, 2.88 MB

0 / 0

english, 1986